1. Automata, Languages and Programming :
پدیدآورنده: edited by Hermann A. Maurer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Information theory.,Software engineering.,Theory of Computation.

2. Formal Aspects of Component Software
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer Science; Software Engineering; Theory of Computation; Mathematical Logic and Foundations; Information Systems and Communication Service
